from dfa import core, simulator, parser

dfa = core.DFA(name="2state")
dfa.add_state("0")
dfa.add_state("1")


dfa.add_transition("0","0", "0", "1")
dfa.add_transition("0","1", "1", "0")
dfa.add_transition("1","0", "1", "1")
dfa.add_transition("1","0", "0", "0")

dfa.set_init("0")
sim = simulator.Simulator(dfa)
sim.print_cycle_func()
#print parser.write_dot(dfa)
